-
1 непротиворечивый класс
непротиворечивый класс
—
[Л.Г.Суменко. Англо-русский словарь по информационным технологиям. М.: ГП ЦНИИС, 2003.]Тематики
EN
Русско-английский словарь нормативно-технической терминологии > непротиворечивый класс
-
2 непротиворечивый класс
Русско-английский большой базовый словарь > непротиворечивый класс
-
3 непротиворечивый класс
Большой англо-русский и русско-английский словарь > непротиворечивый класс
-
4 непротиворечивый класс
Logics: consistent classУниверсальный русско-английский словарь > непротиворечивый класс
-
5 непротиворечивый класс
adjlogic. classe de consistanceDictionnaire russe-français universel > непротиворечивый класс
-
6 непротиворечивый класс
consistent class лог.Русско-английский словарь по вычислительной технике и программированию > непротиворечивый класс
-
7 непротиворечивый класс
consistent class мат.Русско-английский научно-технический словарь Масловского > непротиворечивый класс
-
8 максимально непротиворечивый класс
Mathematics: maximal consistent classУниверсальный русско-английский словарь > максимально непротиворечивый класс
-
9 максимально непротиворечивый класс
maximal consistent class матем.Русско-английский научно-технический словарь Масловского > максимально непротиворечивый класс
-
10 непротиворечивый
Русско-английский большой базовый словарь > непротиворечивый
-
11 непротиворечивый
-
12 непротиворечивый
Русско-английский новый политехнический словарь > непротиворечивый
-
13 непротиворечивый
Русско-английский военно-политический словарь > непротиворечивый
-
14 consistent class
-
15 consistent class
-
16 consistent class
непротиворечивый класс
—
[Л.Г.Суменко. Англо-русский словарь по информационным технологиям. М.: ГП ЦНИИС, 2003.]Тематики
EN
Англо-русский словарь нормативно-технической терминологии > consistent class
-
17 consistent
consistent data — непротиворечивые данные; логически; обоснованные данные
mutually consistent data — взаимно согласующиеся данные; непротиворечивые данные
English-Russian dictionary of Information technology > consistent
-
18 consistent class
-
19 consistent class
Большой англо-русский и русско-английский словарь > consistent class
-
20 consistent class
Логика: непротиворечивый класс
- 1
- 2
См. также в других словарях:
непротиворечивый класс — — [Л.Г.Суменко. Англо русский словарь по информационным технологиям. М.: ГП ЦНИИС, 2003.] Тематики информационные технологии в целом EN consistent class … Справочник технического переводчика
economy class — экономический класс consistent class непротиворечивый класс class I supplies поставки первого класса equivalence class классы эквивалентности class 1e equipment оборудование класса 1е class I logistics поставки первого класса … English-Russian travelling dictionary
Критерии определения безопасности компьютерных систем — Эту статью следует викифицировать. Пожалуйста, оформите её согласно правилам оформления статей. Критерии определения безопасности компьютерных систем (англ. Trusted Computer System Evaluation Criteria … Википедия
ОПРЕДЕЛИМОСТЬ — одно из осн. понятий методологии дедуктивных наук, связанное с особенностями и возможностями языковых средств описания и формализации, а также с аксиоматич. построением теорий. Различают О. синтаксическую и семантическую (см. Синтаксис и… … Философская энциклопедия
ГУДМЕН — (Goodman) Нелсон (р. 7.8.1906, Соммервилл, шт. Массачусетс), амер. философ и логик. Представитель аналитической философии. В своих филос. исследованиях Г. стремится обосновать логически непротиворечивый базис «единой системы описания… … Философская энциклопедия
ВИТГЕНШТЕЙН — (Wittgenstein) Людвиг (1889 1951) австрийско британский философ, профессор Кембриджского университета (1939 1947), скиталец и подвижник. Основоположник двух этапов становления аналитической философии в 20 в. логического (совместно с Расселом) и… … История Философии: Энциклопедия
Эллис, Альберт — В Википедии есть статьи о других людях с такой фамилией, см. Эллис. Альберт Эллис Albert Ellis Дата рождения: 27 сентября 1913(1913 09 27) Дата смерти … Википедия
ВИТГЕНШТЕЙН Людвиг (1889- 1951) — австрийско британский философ, профессор Кембриджского университета (1939 1947), скиталец и подвижник. Основоположник двух этапов становления аналитической философии в 20 в. логического (совместно с Расселом) и лингвистического. Автор термина… … История Философии: Энциклопедия